Total Books: 1 - 2 /2
Adapting Proofs-as-Programs
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
Lire la suite
Logic Based Program Synthesis and Transformation (vol. # 3901)
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lire la suite
Total Books: 1 - 2 /2
